Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Reflection for Aggregates (2020)
๐Template Compilers
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
๐Go Generics
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐Template Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โ๏ธInference Rules
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Dependent Haskell
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
๐ฆDependency Analysis
Flag this post
My Wishlist for PHP in 2026
๐Forth Compilers
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.orgยท16h
๐ง Memory Ordering
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
๐ฏPattern Matching
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Stack Allocation
Flag this post
From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.comยท10h
๐ญErlang OTP
Flag this post
Just released @leglaine/node-types โ A lightweight, flexible type-checking library for Node.js
โ
Type Checking
Flag this post
๐ฒ On LLMs
kaukas.mataroa.blogยท11h
๐ฎLanguage Ergonomics
Flag this post
Loading...Loading more...